Towards Paraconsistent Inquiry
نویسندگان
چکیده
منابع مشابه
Towards a Paraconsistent Quantum Set Theory
In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani (see, for example, [13], [12], [10]), and topos quantum theory, as developed by Isham, Butterfield and Döring, amongst others (see, for example, [8], [6], [3]). Towards this end, we will study algebraic valued set-theoretic structures whose truth values correspond to th...
متن کاملTowards an Inquiry-Based Language Learning: Can a Wiki Help?
Wiki use may help EFL instructors to create an effective learning environment for inquiry-based language teaching and learning. The purpose of this study was to investigate the effects of wikis on the EFL learners’ IBL process. Forty-nine EFL students participated in the study while they conducted research projects in English. The Non-wiki group (n = 25) received traditional inquiry instr...
متن کاملTowards an efficient prover for the C1 paraconsistent logic
The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In the literature, there is no description of a theorem prover based on the KE method for the C1 paraconsistent logic. Paraconsistent logics have several applications, such as in robot control and medicine. These applicati...
متن کاملA Simple Approach towards Recapturing Consistent Theories in Paraconsistent Settings
I believe that, for reasons elaborated elsewhere [5, 22, 23], the logic LP [3, 4, 19] is roughly right as far as logic goes. But logic cannot go everywhere; we need to provide non-logical axioms to specify our (axiomatic) theories. This is uncontroversial, but it has also been the source of discomfort for LP-based theorists, particularly with respect to true mathematical theories which we take ...
متن کاملParaconsistent Assertions
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where inconsistency does not lead to such an explosion. We argue that paraconsistent logics are especially advantageous in order to deal with assertions made by intelligent agents. Other propositional attitudes like knowledge and beliefs can in principle be treated...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2016
ISSN: 1448-5052
DOI: 10.26686/ajl.v13i2.2102